Reasoning about Conversation Protocols in a Logic-Based Agent Language
نویسندگان
چکیده
We present an approach to reasoning about conversations within the framework of a logic-based agent language. Our agent theory is based on a modal logic of actions and beliefs and permits the representation of communicative acts and conversation protocols, allowing agents to reason about them before their execution. The work is framed in a world wide web context, in which we show how reasoning about the interaction with web service providers can be exploited for personalizing the service fruition.
منابع مشابه
Reasoning about Self and Others: Communicating Agents in a Modal Action Logic
We propose an approach to reasoning about conversation protocols within the framework of a logic-based agent language. We show how to embed a theory of communicative actions in the framework of a modal logic of action and beliefs, to specify software agents that, situated in a multi-agent environment, can interact with one another by a speech act based communication mechanism. Agents have their...
متن کاملReasoning about Self and Others: Communicating Agents in a Model Action Logic
We propose an approach to reasoning about conversation protocols within the framework of a logic-based agent language. We show how to embed a theory of communicative actions in the framework of a modal logic of action and beliefs, to specify software agents that, situated in a multi-agent environment, can interact with one another by a speech act based communication mechanism. Agents have their...
متن کاملAugmenting Agent Platforms to Facilitate Conversation Reasoning
Within Multi Agent Systems, communication by means of Agent Communication Languages (ACLs) has a key role to play in the co-operation, co-ordination and knowledge-sharing between agents. Despite this, complex reasoning about agent messaging, and specifically about conversations between agents, tends not to have widespread support amongst general-purpose agent programming languages. ACRE (Agent ...
متن کاملFormalizing Commitments Using Action Languages
This paper presents an action language, calledL, for representing and reasoning about commitments in multi-agent domains. The language is an extension of the language L, with new features motivated by the problem of representing and reasoning about commitments. These features include time, delayed effects, ir/reversible effects, concurrent actions, and multi-agents, for specifying and reasoning...
متن کاملThe gamut of dynamic logics
Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks and by describing the results of performing actions in given states of the world. The actions studied by dynamic logic can be of various kinds: actions on the memory state of a computer, actions of a moving robot in a closed world, interactions between cognitive agents per...
متن کامل